- fully faithful functor
- Математика: вполне строгий функтор
Универсальный англо-русский словарь. Академик.ру. 2011.
fully faithful functor
Смотреть что такое "fully faithful functor" в других словарях:
Full and faithful functors — In category theory, a faithful functor (resp. a full functor) is a functor which is injective (resp. surjective) when restricted to each set of morphisms with a given source and target.Explicitly, let C and D be (locally small) categories and let … Wikipedia
Forgetful functor — In mathematics, in the area of category theory, a forgetful functor is a type of functor. The nomenclature is suggestive of such a functor s behaviour: given some object with structure as input, some or all of the object s structure or properties … Wikipedia
Mitchell's embedding theorem — Mitchell s embedding theorem, also known as the Freyd–Mitchell theorem, is a result stating that every abelian category admits a full and exact embedding into the category of R modules. This allows one to use element wise diagram chasing proofs… … Wikipedia
Yoneda lemma — In mathematics, specifically in category theory, the Yoneda lemma is an abstract result on functors of the type morphisms into a fixed object . It is a vast generalisation of Cayley s theorem from group theory (a group being a particular kind of… … Wikipedia
Fibred category — Fibred categories are abstract entities in mathematics used to provide a general framework for descent theory. They formalise the various situations in geometry and algebra in which inverse images (or pull backs) of objects such as vector bundles … Wikipedia
Torsion subgroup — In the theory of abelian groups, the torsion subgroup AT of an abelian group A is the subgroup of A consisting of all elements that have finite order. An abelian group A is called a torsion (or periodic) group if every element of A has finite… … Wikipedia
Exact category — In mathematics, an exact category is a concept of category theory due to Daniel Quillen which is designed to encapsulate the properties of short exact sequences in abelian categories without requiring that morphisms actually possess kernels and… … Wikipedia
List of mathematics articles (F) — NOTOC F F₄ F algebra F coalgebra F distribution F divergence Fσ set F space F test F theory F. and M. Riesz theorem F1 Score Faà di Bruno s formula Face (geometry) Face configuration Face diagonal Facet (mathematics) Facetting… … Wikipedia
Adjoint functors — Adjunction redirects here. For the construction in field theory, see Adjunction (field theory). For the construction in topology, see Adjunction space. In mathematics, adjoint functors are pairs of functors which stand in a particular… … Wikipedia
